$\forall$$b$:$\mathbb{B}$, $T$:Type, $A$, $B$:$T$ List, $x$:$T$. ($x$ $\in$ if $b$$\rightarrow$ $A$ else $B$ fi) $\Leftrightarrow$ $b$ \& ($x$ $\in$ $A$) $\vee$ $\neg$$b$ \& ($x$ $\in$ $B$)